p-adic absolute value

p进绝对值